theorem Th769: :: NUMBER11:769

Sum (digits (550,10)) = 10