theorem MR first edit