Standard Form Theorem