Tetrahedral bond angle proof