10≡7(mod.3)だけど矛盾はしてないな