Znalosti nutné (nikoliv postačující) ke složení zkoušky:

Za lehčí důkazy považujeme:

Za lehká považujeme i všechna lemmata.