Что значит padding: 0 0 0 9px?

В уроке же есть (на 4:55), что обозначает запись padding: 0 0 0 0:

/ru/courses/html-and-css/css-margin-padding-etc/

Это короткая запись для padding (top, right, bottom, left):

padding: 0 0 0 9px; 

Аналогичная запись:

padding-top: 0px;
padding-right: 0px;
padding-bottom: 0px;
padding-left: 9px;