Kolmion pinta-alan todistus