theorem Th332: :: NUMBER11:332

Sum (digits (627,10)) = 15