And you have yet to look at the calculator. You refuse to look at my example because you're too stubborn to acknowledge the possibility that you could be wrong. If theorem Y is used to prove theorem X, and the proof is sound, then it is completely logical to use theorem Y in the proof. You can't say that the proof is not sound because you refuse to look at the proof. Look at my example or admit that you have no idea what you're talking about.