theorem :: RVSUM_1:109

for i being natural Number
for R being Element of i -tuples_on REAL holds Product (sqr R) = (Product R) ^2 by Th107;