to prove {to be}