по построению

• By the construction of ψ, any element is ...