Theoretical Basis for Semiempirical Theories