8の字結び目のホンフリー多項式は何か.