theorem :: XPRIMES2:89

canceled;