theorem Th732: :: NUMBER11:732

Sum (digits (63,10)) = 9