もし、χ("g")が0にならないような全ての非自明な既約指標について χ(1g)が "q" で割り切れるならば