クロードの有限性