order =pairs =now =G =
I =w =in(I) =G =
f =g =(u, v) =f = u, g = v:
board =move =click a monomial: it goes, with every monomial it dividesrule =whoever must take 1 losesnow =
P =lines =in(I(P)) =G =
THEOREMATHEOREMA
Automating the invention of mathematics.