设C是交换凝聚环R上的半对偶R-模.证明了:如果S是使得C?RS-Gorenstein平坦S-模类关于扩张封闭的满忠实平坦交换R-代数,那么R-模M是C-Gorenstein平坦的当且仅当S-模S?RM是C?RS-Gorenstein平坦的.