Löb's theorem