>>699 更新
T.A cr=qr-1のとき
証明完了