Proof about Locke