a·[b·(a·c)-(a·b)·c]
=a·(b·(a·c))-a·((a·b)·c)
=(a·c)(a·b)-(a·b)(a·c)
=0