ピカルの定理とは何だったのか