From Theorem 3.11 a recursive check

From Theorem 3.11 a recursive checking algorithm for vertical automor- phisms is immediate, see Algorithm 5.

Kết quả (Việt) 1:

Từ định lý 3,11 một đệ quy, kiểm tra các thuật toán cho automor-phisms dọc là ngay lập tức, hãy xem thuật toán 5.

Kết quả (Việt) 2:

Từ Định lý 3.11 một thuật toán kiểm tra đệ quy cho phisms automor- thẳng đứng là ngay lập tức, xem Algorithm 5.