The theorem of existence and uniqueness