Suora todistus:
​​

Vastaesimerkki:
​​

Epäsuora todistus:
​​

Induktiotodistus:
​​