theorem :: XPRIMES2:5727

canceled;