theorem Th371: :: NUMBER11:371
Sum (digits (360,10)) = 9