theorem Th365: :: NUMBER11:365
Sum (digits (260,10)) = 8