標数5なら成立しない。