theorem :: XPRIMES2:6944

canceled;