狭義を真に含む広義の定義が可能である事が示されたから
更に広義の定義が可能であり無限に続ける事が出来る
(全部冗談どや)