Puscifer – Theorem