theorem Th1280: :: NUMBER11:1280

Sum (digits (3725,10)) = 17