Пошаговое доказательство второго следствия из аксиом