Author: Michehl's Theorem

Less is more.