a\cdot a\ge 0