theorem Th236: :: NUMBER11:236

Sum (digits (136,10)) = 10