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