"robar" no es un termino apropiado realmente cuando hablamos de internet.
Lo que pides se hace con php y/o otros lenguajes, no HTML que yo sepa.
Además siempre que este online se puede descargar, yo por lo menos lo puedo descargar.
Si quieres evitar que te descarguen los videos por cuestiones de ancho de banda puedes agregar la extensión a tu código anti-hotlink a mi a veces me funciona.
Ahora si quieres subir un video a tu web y absolutamente nadie lo descargue creo que esta difícil, dificutarlo un poco es sencillo con JWplayer creando un shortcode o llamado a php, integras el video aparte en una pagina php y haces el llamado desde la pagina donde se vera, eso por lo menos evita que te descarguen viendo el código fuente.
Yo tengo varios sitios de videos y ya ni me importa si lo descargan porque creo que si YouTube, xvideos, pornhub y hasta vimeo no han podido evitar que lo hagan con el dinero que tienen menos podría yo, asi que no creo que te sirva de mucho ese reproductor que venden en codecanyon