Theorem T000507

⇒