theorem :: XPRIMES1:2492

canceled;