Ogólniej:
TWIERDZENIE Jeżeli b | n oraz n | sd(b)=========== (a więc b jest barokiem)to n jest TWRem.
******
Pozdrawiam,
Włodek