-- Useful Theorems -- Representations of S4 in Different Bases -- Representations of A4