theorem :: XPRIMES2:7047

canceled;