There is an assertion that follows from very general theorem directly and I do not understand if this assertion trivial or it may be of some interest. The assertion is enclosed below please comment
