Genau dann, wenn

Ein vollständiger Beweis sagt nicht nur, was wahr ist, sondern warum der nächste Schritt aus Definition, Voraussetzung oder einem bereits bewiesenen Satz folgt.