==> geometry/tiling/rectangles.with.squares.p <==
Given two sorts of squares, (axa) and (bxb), what rectangles can be tiled?