Определение1

Баклан b - сущность, имеющая конечный и постоянный объём, обладающая свойством летабельности (способностью летать).

Определение2

Бакланник B - структура, имеющая ограниченный объём, кратный объёму баклана.

Определение3

Пространство бакланников B - пространство, включающее в себя бесконечное счетное множество бакланников и бесконечное счетное множество бакланов.

Аксиома1

Целью существования баклана является попадание в бакланник.

Аксиома2

Баклан, попавший в бакланник, обратно не возвращается.

Определение4

Поздно - B: временной интервал от момента, когда суммарный объём бакланов в данном бакланнике становится равным объёму бакланника, до бесконечности.

Определение5 Прилетание баклана b к бакланнику B

 b,B: состояние баклана b, характеризующееся таким положением баклана b относительно бакланника B, что никакой другой баклан b' не попадет в бакланник B прежде баклана b при условии, что еще не поздно.

Лемма

b: баклан b, прилетающий поздно, в бакланник B попасть не может.

Доказательство леммы

Рассмотрим произвольного баклана b. По определению4, суммарный объём бакланов в данном бакланнике равен объёму бакланника, следовательно, баклану b нет места в бакланнике B, т.е. попасть он туда не может.

По аксиоме1 целью существования баклана является попадание в бакланник, а, по лемме, в данный бакланник баклан не попадает. Кроме того нам известно (по определению3), что в пространстве бакланников существует не один (бесконечное число) бакланник, следовательно, баклану необходимо удалиться от данного бакланника в поисках другого, не заполненного, бакланника, то есть пролететь мимо.