theorem :: XPRIMES2:6756

canceled;