Bevis for to-punktsformlen