Шаблон доказа за управљање закрпама

Генеришите шаблоне доказа о усклађености управљања закрпама