theorem :: XPRIMES2:8997

canceled;