added first string diagram proof