a^2=(ax-1)ってどっかに書いてないかい?