The order they are proved in is a matter of taste.

• 它们被证明的次序只是出于作者的偏爱。