For a proof to be admitted, all steps have to be justified either by elementary logical arguments or by citing previously verified proofs.
Damit ein Beweis akzeptiert wird, müssen alle Schritte begründet werden, entweder mit elementaren logischen Argumenten oder durch Zitierung bereits verifizierter Beweise.