three example of theorems​