>>642
内積や外積の定義式にぶち込んで、左辺と右辺が等しいことをチェックするだけ。