theorem :: XPRIMES2:2745

canceled;