とりあえず予言定理を使ってみ