theorem :: XPRIMES2:105

canceled;