>>718
>”無限長ゆえに成り立つ”ということを、改めて証明すべき
無限の場合は既に証明されてます。時枝記事を読んでください。