ペレスはアルボンより上だと証明しなければならない