oktw
says to
#ysitd
<licson>: Proof x = -b ± sqrt(b^2 - 4ac) / 2a