ｘ＾２，ｙ＾４を消してｘ＾３，ｙ＾３の関係を求める。
４ｙ＾３≦３ｙ＾４＋１。
３ｘ＾２≦２ｘ＾３＋１。
　３ｘ＾３＋４ｙ＾３
≦３ｘ＾３＋３ｙ＾４＋１
≦３ｘ＾２＋３ｙ＾３＋１
≦２ｘ＾３＋３ｙ＾３＋２。