<human>:  Why is it called fermat’s library?
<bot>: Fermat was a mathematician who lived in the 1600s. He was famous for proving that a certain type of quadratic equation could not be solved. He also proved that there are no whole number solutions to the equation x2 + y2 = z2.