the theorem is named after bernard lamy lardintown run flows south from its source into fawn township in allegheny county cavaillon is famous for its melons