to prove {to be true}