theorem Th102: :: NUMBER11:102

Sum (digits (13,10)) = 4