theorem :: XPRIMES2:4712

canceled;