1巻の命題24
いまだ証明できず