Puscifer Theorem