Little shorter proof.