In terms of human, yes, John and Steve are both human.
If you were considering the characteristics of each of John and Steve, then surely you will get different ones, where some might not be equal to the other.
But in either case the argument would be valid (not "true", "valid"). If it were true that "John" and "human" were names for the same thing, and that "Steve" and "human" were names for the same thing, then "John" and "Steve" would both be names for that same thing.
Now, is your question whether that argument is "true" (the conclusion is true argument) or "valid" (the conclusion is true if the premises are true).