theorem :: XPRIMES2:9960

canceled;