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