プルーフ(PR,PF)