Corollaries of criterion for
a
i
=
a
j