theorem :: XPRIMES2:6931

canceled;