theorem :: XPRIMES2:8674

canceled;