Вы, .., сначала сверните. ..
Учебники математики читайте, тов. Рендалл !
Доказательство любой леммы, теоремы и пр. -
не для пустого времяпровождения проводится ..
а для того, чтоб в дальнейших рассуждениях :
использовать только *начало-конец* из пред. теорем ! ! !
В общем итоге :
из конечного набора Аксиом -
прямиком к установлению связи *причина-следствие* !
*как только - так сразу*(нар. посл.).