theorem Th264: :: NUMBER11:264

Sum (digits (459,10)) = 18