Double angle proof