it is a statement proven ​