Penguin diagrams Theorem (PDT)