Theorem T000359

⇒