the penguin theorem (MEMETIC)