有限である証明をするには、ほぼ無限の命が必要でしょう。