设有关系模式（C,P,S,G,T,R）存在函数依赖 C→G; SC→G; TR→C; TP→R; TS→R，
现给出关系R1(S,T,R,C)
请判断它所达到的范式。
答案给出的是 3NF,,,
求大神来解释下。
3NF的要求：
每个非关键字列都独立于其他非关键字列，并依赖于关键字，第三范式指数据库中不能存在传递函数依赖关系。
我疑惑的是，在(S,T,R,C)中，ST很明显是主码（关键字），而存在的函数依赖，ST→R，很明显，R是依赖关键字ST的，
但是，对于 TR→C，C是依赖TR的，虽然，ST由函数依赖公理能得到，ST→TR，然后TR→C，则ST→C，可是，这已经是传递函数依赖了。
可答案却是3NF(第三范式)....为什么啊？？？？