clc
clear

disp "Taylor Waller"

A = [7, 3, 7];
B = [-6, 2, 3];
C = [2, 8, -8];

LHS = cross(A, cross(B, C))
RHS = B*dot(A,C) - C*dot(A,B)

isequal(LHS, RHS)