Т Е О Р Е М А:
Д а н о: кто-то лезет к нам в окно!
Д о п у с т и м: мы его не впустим!
Т о г д а: нам придётся доказать,
Как он будет вылезать!