For menus, buttons, and instructions. Your learning content stays in English.
That which was to be demonstrated.
“The proof was complete, quod erat demonstrandum.”