theorem Th765: :: NUMBER11:765

Sum (digits (506,10)) = 11