theorem :: XPRIMES2:1993

canceled;