- there's no way to tesselate 3d space with regular tetrahedra. There's no regular tetrahedron whose vertices all have integer coordinates. These feel like separate facts to me: I see how to prove both, but not to prove one from the other.
The tetrahedra in the Boerdijk-Coxeter helix are rotated by angles that are an irrational number times a full turn.