>>705
それ東屋の補題とかでよく使うな。
やっぱりそれが一番メジャーな証明な希ガス。