No More Learning

It
is easy to check that this           proO?