Define funcitons F, G and H:
F(x,y) = x2 - 2xy + y2 - 5x + 7y
G(x,y) = x2 - 3xy + 2y2 + x - y
H(x,y) = xy - 12x + 15y
If x and y are integers and p is an odd prime such that the values of F(x,y) and G(x,y) are both divisible by p, then prove that H(x,y) is also divisible by p.
Seventeen divides expression? is a specific instance of this puzzle where p=17.