theorem Th38: :: AMI_8:38

for n being Nat holds sumSCMFunction . (((dl. 0),(dl. 1),(dl. 2)) --> (1,n,0)) = (dl. 2) .--> (Triangle n)