theorem Th425: :: NUMBER11:425

Sum (digits (960,10)) = 15