X,Y가 quasi affine variety들이고
p와 q는 각각 X,Y의 point들일때
f : O(Y)_q -> O(X)_p 라는 local homomorphism이 주어졌을 때
p를 포함하는 open neighborhoood W가 존재하여
g(p)=q이고 f를 induce하는
g : W -> Y라는 morphism이 존재한다.
이 명제를 보이고 싶습니다.

어떻게 해야 할까요?

affine variety인 경우는 쉬운데 quasi affine은 어찌 해야 할지 모르겠습니다.