あとt∈Rから広げる、の話が出てきたのが理解できないです fw=tfsが成り立つことは極めて稀ですからこれが成り立たないのは十分現実的だと思いますけど ∀t∈R[fw≠tfs] こちらの方が適切だったかも