\(i\)を階数、\(A_{1},A_{2},A_{3}:\mathcal {U}(i)\)を型とする。関数\(f:A_{1}\to A_{2}\)と\(g:A_{2}\to A_{3}\)と\(h:A_{3}\to A_{1}\)がある時、各\(A_{n}\)と\(A_{m}\)は論理的に同値であることを確かめよ。