theorem :: XPRIMES2:1667

canceled;