theorem :: XPRIMES2:1479

canceled;