lean_workbook_plus_28567

Showing that $a|a$ is equivalent to showing that $an = a$ for some integer $n$ . We have $a \\cdot 1 = a$ , so $a|a$ . (Note that $0 \\cdot 1 = 0$ , so $0|0$ . Am I wrong?)