Corretto posizionamento corollari

No, ma puoi definire con \newtheroem un nuovo ambiente, diciamo corollario il cui contatore e sia indipendente oppure dipendente da quello dell’ambente teorema. Sta a te decidere e di usare il comando \newtheorem per ottenere il risultato che desideri; la documentazione dovrebbe essere cercata sia nella solita guida L’Arte di scrivere con LaTeX di Gordini e Pantieri, oppure nella traduzione comentata del manuale di LaTeX sotto forma di guida tematica Il LaTeX Reference Manual commentato, entrambe, se non lavessi già fatto, scaricabili dal sito Documentazione di questo sito.