「Bが部分環A上、忠実平坦とする。
このとき、Bが整閉整域ならAもそうである。」

これが証明できるレベルの奴は折らんのか？