theorem :: XPRIMES2:4923

canceled;