вспомогательный постулат

Мат. auxiliary postulate