theorem :: XPRIMES2:1489

canceled;