Category:Dot Product with Self is Zero iff Zero Vector