The Burau representation of the braid group is faithful for n = 4 | Hacker News Reader