9x≡1 (mod17)