******************* Formal Functions Theorem