Random Products for Submodule for Speck