theorem :: XPRIMES2:5672

canceled;