added new theorem statement, to be proved