キーワードMutually prime sequence of inner functions