数学の定理に「自明」はありえない。
特に 主定理ではね。