ここで等号が成立するのは、"x" と "y" の一方が他方の非負実数倍であるとき、かつそのときに限る。