They could make a more convincing point by arguing that since Trump won BOTH 2016/2020, he is ineligible for 2024. Having 2020 stolen does not take away that DJT won it.
I would not be surprised to see that argument made if audit results are positive for Trump.
Yeah, but of course you have to be inaugurated in order for it to count as having “served a term”, and Trump was not (the second time).