Теорема Алкоголика

Имеем Алкоголика, имеют Трезвенника.

Требуется доказать Третьему,

Что первый по жизни –не хуже второго. 29.6.12