From: Correlation between osteoarthritis of the atlantoaxial facet joint and a high‐riding vertebral artery