theorem Th336: :: NUMBER11:336

Sum (digits (665,10)) = 17