0
Mathematics-Theorem
A Mathematics-Theorem is
Truth-by-Proof
in a
Mathematics-System
.