Vector triple product proof