theorem :: XPRIMES2:937

canceled;