Figures which are similar to the same rectilineal figure are also similar to one another.
lines 74–74 in main.tex