theorem Th12: :: EC_PF_2:12

for K being Ring
for a1, a2, a3, a4, a5, a6 being Element of K holds
( ((((a1 * a2) * a3) * a4) * a5) * a6 = a1 * ((((a2 * a3) * a4) * a5) * a6) & ((((a1 * a2) * a3) * a4) * a5) * a6 = ((a1 * ((a2 * a3) * a4)) * a5) * a6 )