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