パーシバルの存在を証明せよ