There are probably eleventeen ways of doing the proof, but this is the
simplest way that occurred to me.
Feel free to fiddle with the denominations in the yellow-shaded cells.
The rest should take care of itself automagically.
It's amusing how something as lowbrow and concrete as a spreadsheet
can advance the understanding of things as fancy and abstract as
Diophantine analysis and number theory.