==> geometry/ladders.p <==
Two ladders form a rough X in an alley.  The ladders are 11 and 13 meters
long and they cross 4 meters off the ground.  How wide is the alley?