theorem Th607: :: NUMBER11:607

Sum (digits (2780,10)) = 17