So I've been trying for a wilewhile to write an article on 3 aplicationapplications of some theorem for a small journal. But after finding my second example I realized that I didn't need the theorem to prove it. Now, the two proofproofs are linked by another theorem which I used in bouthboth for some constructions, but I use it just so I could generalize them from a particular case which I proved using other method. Now the question is do thisthese two proofs still count as an aplicationapplication the second theorem?
Post Closed as "Needs details or clarity" by LSpice, Chris Wuthrich, user44191, Steven Landsburg, Mark Wildon