この資料をSMS送信: Extension problems in intuitionistic plane projective geometry /