theorem :: XPRIMES2:5102

canceled;