Real diary (430)

by luc dewaele

(Teaching, the proof)