Einstein Formula

[eoredson]

@Sprezzo: Start on page 2 where it assignes the first and second equations to each other. Then the following page 3 simplifies the result.

This process is then repeated using the same technique for a second declaration of the proof.