arctic circle theorem