theorem :: XPRIMES2:8660

canceled;