W związku z tym dowód dobiega końca gdy tylko zostanie dowiedzione, że \(\displaystyle{ (p^2-1)(p^2-4)}\) dzieli się przez \(\displaystyle{ 3, 5}\) i \(\displaystyle{ 8}\). Na moje wyczucie nie trzeba nic podsumowywać, ale jeśli chcesz, możesz dopisać cokolwiek w stylu "na mocy przytoczonej równoważności teza jest prawdziwa".
Nie widzę natomiast sensu w stwierdzaniu
bo po pierwsze: dowód jest ukończony i nie trzeba żadnych dodatkowych wyjaśnień, a po drugie i ważniejsze: pierwsza równość wymagałaby uzasadnienia, bo na oko nie jest to nic oczywistego (pomijając uzasadnienie "od tyłu", czyli przechodzące przez tezę, co rzecz jasna miałoby wątpliwy sens).