theorem :: XPRIMES1:618

canceled;