Square the left side: Swap the last two terms on the left side: Use the identity to replace the first two terms by 1. Use the identity to replace the second term on the left by Edwin