IX.2 Proposition IX.2
If two numbers by multiplying one another make a square number, they are similar plane numbers.
Proof
Converse of IX.1. If mn is square then m:n has a mean
proportional in integers; by VIII.20 this means m, n are similar
plane.
lines 74–74 in main.tex