
$(x:y)\in \P_1(K)$
