(no subject)

[qui_vadis]

Некоторое утверждение состоит из двух независимых частей. Часть 2 идёт после часть 1, чтобы лучше читалось/воспринималось.
А в доказательстве сначала доказывается часть 2, а потом часть 1. (томущо док-во 1. это док-во 2. плюс ещё какие-то трюки).
Так получилось.