全ては定理をもつ。