Alan förmodar , alt denuppstätt