IX.18 Proposition IX.18
Given two numbers, to investigate whether it is possible to find a third proportional to them.
Proof
A third proportional to a, b exists iff b2 is divisible by
a (i.e.\ b2/a is an integer); apply VII.19.
lines 74–74 in main.tex