theorem :: XPRIMES2:265

canceled;