theorem Th59: :: AIMLOOP:62

for Q being multLoop
for f being Function of Q,Q st f in Mlt (Nucl Q) holds
ex u, v being Element of Q st
( u in Nucl Q & v in Nucl Q & ( for x being Element of Q holds f . x = u * (x * v) ) )