テンソル積問題における Tor 函子の応用