theorem :: XPRIMES2:1872

canceled;