(v)proveprove formally; demonstrate by a mathematical, formal proof