>>478
帰納的に、何もできないことが証明されるわけだ。