Dot Product with Self is Zero iff Zero Vector/Proof 1