Real diary (430)

(Teaching, the proof)