Statement [Write here the informal mathematical statement to be formalized and proved.] Additional context