I would say that a rule is "cheating" iff it is implied by another rule for any arbitrary N.