theorem :: XPRIMES2:1488

canceled;