About connection between ascending chain conditions of $m$-semilattice with reduction and of it's $m$-subsemilattice of $G$-invariable elements for finite group actions

The proof of the theorem of connection between ascending chain conditions of $m$-semilattice with reduction and of it's $m$-subsemilattice of $G$-invariable elements for finite group actions is given.