πが整数でないことを先に示さないと証明になってない。