theorem Th851: :: NUMBER11:851

Sum (digits (1584,10)) = 18