七の倍数の判別法を見つけた時