tested a theorem
update
update