==> geometry/tiling/rational.sides.p <==
A rectangular region R is divided into rectangular areas.  Show that if
each of the rectangles in the region has at least one side with
rational length then the same can be said of R.