Aijan todistus:

Tapion todistus:

Riitan todistus