Open Question About Module Trait Inheritance

[4meta5]

mod example1 {
    pub trait Trait: system::Trait {
         ...
    }
}

pub trait Example2: system::Trait + example1::Trait {
    ....
}

Does Example2 need to inherit system::Trait separately if example1::Trait already inherits it? I don't want to restrict Example2's access to system::Trait to only accessing it through example1::Trait.

[4meta5]

The answer is yes when we want access to system::Trait without accessing it through example1::Trait