04/09/10 22:47:00
>>472
a,b,c,d
≡0,0,0,0 ≡0,0,0,2 ≡0,1,2,2
≡0,0,0,1 ≡0,0,1,2 ≡1,1,2,2
≡0,0,1,1 ≡0,1,1,2 ≡0,2,2,2
≡0,1,1,1 ≡1,1,1,2 ≡1,2,2,2
≡1,1,1,1 ≡0,0,2,2 ≡2,2,2,2 (mod3)
のいずれかとしてよい。でどの３つをたしても≡0(mod3)にならないのは
(a,b,c,d)≡1,1,2,2 ≡0,0,1,1 ≡0,0,2,2(mod3)の３つしかない。でいづれにせよ主張成立。