theorem :: XPRIMES2:9926

canceled;