theorem Th501: :: NUMBER11:501

Sum (digits (1720,10)) = 10