theorem :: XPRIMES2:1706

canceled;