1.7 맨처음에 Y × Z -> Y가 flat이라는거 다 field 위라고 가정해서
A ⊗_K B가 flat over A라하는거 맞음? 근데 그럼 Z가 pure dim n인건 그냥 relative dim n을 위햐서임?

- dc official App