Theorem Two

Alpha 01