theorem :: XPRIMES1:2667

canceled;