근의공식 유도해본적 없음.