This is probably awesome:

Teorema:

El número $5!/2$ es par.

Sencillo, ¿verdad?, tanto su planteamiento como su demostración. ¿Se os ocurre alguna manera de demostrarlo que pueda entrar dentro de matar moscas a cañonazos? Pensad…aunque seguro que no encontráis una como la siguiente:

Demostración:

Sabemos que el grupo de las permutaciones de los primeros n enteros positivos,$S_n$ , tiene $n!$ elementos, y que $A_n$ , el subgrupo formado por las permutaciones pares también llamado grupo alternado, tiene la mitad de las permutaciones de $S_n$ , por lo que el orden de $A_n$ es $5!/2$ . Por…

@anon I cut some parts Theorem:

The number $5!/2$ is even.

Simple, right? Can you find a way to prove it by "killing flyes with cannonballs? Think... though you'll surely never find out one as the following:

Proof:

We know the group of the permutaions of the first $n$ positive integers $S_n$, has $n!$ elements, and that $A_n$, the subgroup composed by the even permutations, also known as the alternated group, has half the permutatoins of $S_n$, thus the order of $A_n$ is $n!/2$. Thus, for $n=5$, we have that the order of $A_5$ is $5!/2$.