545 VRU_proof.pdf 117 + 662 .