theorem :: XPRIMES2:6914

canceled;