Epimorphism Theorem