Dot Product with Self is Non-Negative/Proof 1