A matrix inequality for positive double John decomposition - Ma, Lulu (Array, 2018)