Help for this page
Let N be an integer that is divisible by 7 ... 9x + 3y = N => x - 2y = N
"xy" % 7 = 0 <=> (x - 2y) % 7 = 0