関数の複合合成はありますよ。これも宇宙人のテクノロジーです。
証明に関してはマザープラネットと交信してから書きます。