Category:Vector Cross Product Distributes over Addition