theorem :: XPRIMES2:1466

canceled;