theorem Th801: :: NUMBER11:801

Sum (digits (968,10)) = 23