If there is a man X and there is a man Y then X is Y.
John is a man.
Bill is a man.