mays theorem