Example proof