theorem Th45: :: NUMBER11:45

Sum (digits (150,10)) = 6