theorem Th954: :: NUMBER11:954

Sum (digits (483,10)) = 15