ARM Secuirty Lemmas Example