theorem :: XPRIMES2:9906

canceled;