theorem :: XPRIMES2:775

canceled;