What is the cross product of #<5, 2 ,5 ># and #<4 ,1 ,3 >#?