theorem :: XPRIMES2:1731

canceled;