theorem :: NUMBER05:11

for a1, a2, a3, a4, a5 being Integer st 9 divides ((((a1 |^ 3) + (a2 |^ 3)) + (a3 |^ 3)) + (a4 |^ 3)) + (a5 |^ 3) holds
3 divides (((a1 * a2) * a3) * a4) * a5