theorem :: XPRIMES2:1701

canceled;