The Burau representation of the braid group is faithful for n = 4 — Blankdot