Proof showing that two times the squares of two numbers with a difference of one is equal to one plus the sum of those two numbers squared.