User blog:Alejandro Magno/Something

& n = n

& n = n*2

() & n = n^2

() & n = n^2+n

()() & n = n^2*2

-- UNDER CONSTRUCTION --