Cosa dire quando si dimostra un teorema usando un caso particolare di una altro teorema dimostrato a parte

Comunque, penso non esista una risposta generale. Dipende da quanto \(A\) sia lontano da quello che stai cercando di dimostrare e il contesto. Per esempio, usare un teorema di topologia generale per dimostrare qualcosa di analisi sui reali è possibile ma non sempre è appropriato. Se stai dimostrando qualcosa per un articolo di ricerca, è meglio usare un teorema con un nome piuttosto che un lemma su uno specifico manuale.