Can't find any proof in Shannon's 1948 paper. Can you provide one or disproof?
$H(x)$(or $H(y)$) is the entropy of messages produced by the discrete source $x$(or $y$).
$H(x,y)$ is the joint entropy.
They are all entities in information theory.