I am looking at the proof of NE survives the iterated removal of strictly dominated strategies (MWG, ex 8.D.2) and in the solution manual, authors say something like if a mixed strategy is strictly dominated (by another mixed strategy say s), then we can find a pure strategy in the support of that strictly dominated mixed strategy that is strictly dominated (by s).
My intuition told me that this statement is (of course) correct, but can someone give me a hint on how to show it formally?