for p, q, t, z being Integer holds p + q divides (p * ((t * (p + q)) + z)) + (q * z)