nontwist area preserving map; invariant circle; cone-crossing criterion; folding property