theorem Th863: :: NUMBER11:863

Sum (digits (1716,10)) = 15