change the theorem description