Talk:Famous Theorems of Mathematics/√2 is irrational

Proof Clarification
I am unsure what the pipe signifies in "$$2|a^2$$"