When compared with pure mathematicians, applied ones have a clear preference for proofs that go beyond a chain of reasonings and do exhibit the fact to be proved. Here we exhibit the bijection between the 60 icosahedron rotations of the group R and the 60 permutations of the group A5.