A 25 foot ladder and a 10 foot ladder are leaning against a building at the same angle,
and the base of the 25 foot ladder is 7.5 feet from the building. How far is the base of
the 10 foot ladder from the building?