Blackboard shot 6: Theorem: ϕ {\displaystyle \phi } is an embedding iff X {\displaystyle X} is T 3.5 {\displaystyle T_{3.5}}