Fun fact, in Spain, the theorem is told with Don Quixote instead, due to it being a more recognizable work here
