トール函子(射的分解法による構成)とその性質