Definition:Regular Tetrahedron