Proof of ordinary least