Klíčové pojmy.

Běžné věty (s důkazem.)

Důležité věty (přesné znění, bez důkazu.)