木詰め込み予想の証明

完全グラフKnには、各木Tkがk個の頂点を持つような任意の木の族T1, ..., Tnを詰め込むことができるという、ジャルファスの木詰め込み予想を、多項式証明を用いて肯定的に解決した。