theorem claimed : 2 + 2 = 5 := sorry
example : 2 + 2 = 5 := claimed