Regular Antiprism is Semiregular Polyhedron

Theorem
A regular antiprism is a semiregular polyhedron.