If the person is legally not president then he is NOT the president. It is that simple.
There is no impeachment needed because he is NOT the president.
All the law is doing is removing the person that IS NOT the president.
This is not hard to understand.
Peru and Honduras both removed the person that claimed to be their presidents in this way.
Peru and Honduras do not operate under the U.S. Constitution.