Penguin diagrams Theorem (pdt)