在一个二次域中，任何一个数的范数都是非负的