theorem :: XPRIMES2:86

canceled;