4.6.theorem でいいんじゃねぇの?