A theorem about antiprisms