More abstract methods were required, to carry out a proof with the same basic structure.
一層抽象的な方法が要求され、同一の構造を持つ証明が遂行された。