1. využitím redundance v návrhu řešení a