proves -> prove
temporary -> temporarily