theorem Th1224: :: NUMBER11:1224

Sum (digits (2775,10)) = 21