theorem :: XPRIMES2:6904

canceled;