theorem Th695: :: NUMBER11:695

Sum (digits (3660,10)) = 15