theorem :: XPRIMES2:992

canceled;