theorem Th978: :: NUMBER11:978

Sum (digits (782,10)) = 17