theorem Th260: :: NUMBER11:260

Sum (digits (425,10)) = 11