theorem Th137: :: NUMBER11:137

Sum (digits (14,10)) = 5