Theoretical Validation of an Analytical Design Method for Beveloid Gears With Non-Parallel Non-Intersecting Axes