はじめに、
|x|≧|y|
として一般性を失わないとか書いてあるんじゃないの?