Proving angle measurements