Mathematics-Theorem

I am Truth-by-Proof in a Mathematics-System.