theorem :: XPRIMES2:1807

canceled;