Mafia Is a Mathematical Game