鉛筆定理(その他表記)pencil theorem