theorem Th1284: :: NUMBER11:1284

Sum (digits (3775,10)) = 22