Cartesian product on relations that have attributes of the same name is not a relational operator. The thing it would produce for say, relations {TUP {A 2}} and {TUP {A 4}} cannot ever be a relation.
Notwithstanding that, it is indeed possible to express natural join in terms of renaming plus cartesian product plus restriction plus projection.