theorem :: XPRIMES2:3105

canceled;