すべての整数は基底元の整係数線型結合(具体的には係数を持つ結合)である。