Голова кругом

[graydaemon]

Теорема: Лев прав.
Следствие 1: Если лев не прав, то он лев.
Следствие 2: Прав лев или не прав, он лев.