Ist wahr Formel?