theorem :: XPRIMES2:8962

canceled;