It has been proved? Proved by who, and how?