Was proved by