Add the Einstein Lorentz-Fitzgerald formula and implement JUnit to
demonstrate equivalence.