theorem Th771: :: NUMBER11:771

Sum (digits (572,10)) = 14