独立性の証明は難しいことが多い。
しかし証明が必要になることはまず無い。