Definition:Right-Regular Prism