これが証明されてしまったわけだが