No More Learning

The idea of the proof is to construct a           proO?