theorem Th777: :: NUMBER11:777

Sum (digits (638,10)) = 17