changes by luis
Reenable small headings
add author
make stuff nice
real footnote
Fix mistake introduced by bullshit complexity
shorter proof
rewrote 1.2.3
replaced 1.3 by my solution
replaced 1.4 by my solution
Added 1.4b
Removed disclaimer
fixed mistake