theorem :: XPRIMES2:1972

canceled;