theorem :: XPRIMES2:7048

canceled;