>>328
ぢゃあ、後者の証明図に現れる論理式はどれも
終式Sに現れるいずれかの論理式の一部(部分論理式)になるな…