三位一体は函数論そのものなのだよ