complete proof of one of the famous problems encountered, but not solved, during their