That's the standard, but you can configure your HTTPS server to listen to some other port, much the same way you can configure an ssh server to listen on a port other than 22. Your client would have to know that, of course, and specify the correct port as part of the url.