theorem Th783: :: NUMBER11:783

Sum (digits (726,10)) = 15