結果 : bijective function condition