No, it does not work as your friend expects, because $ will be undefined at this point, so calling the $ function with argument function(){ } will result in a javascript error indicating that $ undefined. You must download jQuery before trying to use it.
Your friend may be confused, considering that $ is special, but $ is a name like any other. I.e:
function jQuery(){
and
function $(){
will do the same. Having these definitions in an external file will not make them callable until they are loaded.
Tangential note. You cannot write code that will eventually use jQuery before loading jQuery, but you would put your code in something that would be called only after loading jQuery. I don’t know about any jQuery convention about this, as it is not very common in this library, but Facebook does it like this: https://developers.facebook.com/docs/reference/javascript/ I don’t think your friend should actually try to do this while he is no longer familiar with JavaScript.
source share