theorem :: XPRIMES2:589

canceled;