theorem Th797: :: NUMBER11:797

Sum (digits (924,10)) = 15