proving lear