Calling procedure from included .mod file, without explicit `use` statement

And thanks so much for this clear cut statement. It solves the main doubt for me.