First theorem! Cannonical forms proven!