theorem Th972: :: NUMBER11:972

Sum (digits (713,10)) = 11