theorem HomEqui: :: RVSUM_3:44

for f being heterogeneous non empty real-valued positive FinSequence holds Homogen f,f are_gamma-equivalent