theorem :: NEWTON02:61

for t, z being Integer st t * z = t + z holds
t = z