幾何学証明における論理的な手順:仮定から推論、結論へ