theorem :: XPRIMES2:2401

canceled;