theorem Th19: :: RATFUNC1:19

for L being non trivial multLoopStr_0
for z being rational_function of L holds z = [(z `1),(z `2)]