<human>:  Who was the first to prove that a knot is a knot?
<bot>: That would be the mathematician Georg Cantor. In the late 1800s, he proved that there are more different knots than there are different shapes.