Gelingt es, einen Satz P ohne die Verwendung von Annahmen herzuleiten (zu beweisen), dann schreibt man auch: .
ɡəlˈɪŋt ɛs, ˌaɪnən zˈats pˈeː ˈoːnə diː fɛɾvˈɛndʊŋ fɔn ˈannˌɑːmən hˈɛɾtsuːlˌaɪtən tsuː bəvˈaɪzən, dan ʃrˈaɪpt man ˌaʊx: .