theorem Th751: :: NUMBER11:751

Sum (digits (264,10)) = 12