Proof of Viviani's theorem