No More Learning

The following           proposition makes this claim formal.