The knot 4
1
is
not
3-colorable