theorem Th775: :: NUMBER11:775

Sum (digits (616,10)) = 13