A density theorem for Borel-Type Congruence subgroups and arithmetic applications