xxx: Почему условия теоремы выполнены?
yyy: Судьба такая...