Real diary (430)

by lucas dewaele

(Teaching, the proof)