@ratu: this is the proof