add the rest of the proof of 10.25 (from vl28)
update README