theorem :: XPRIMES1:667

canceled;