theorem :: XPRIMES2:8610

canceled;