theorem :: XPRIMES2:6937

canceled;