Definition:Prolate Trochoid