theorem :: XPRIMES2:87

canceled;