Не забывайте, что теоремы усваиваются лучше аксиом. То есть то, что нужно доказать, запомнится лучше, чем то, что должно быть