Q4 Matemática  (IMC 2007)

Seja um grupo finito. Para conjuntos arbitrários , denote por o número de triplos para os quais é a unidade . Suponha que seja particionado em três conjuntos e (ou seja, os conjuntos são disjuntos aos pares e ). Prove que