https://also.kottke.org/15/11/einsteins-first-proof