Monitoring, Endogenous Comparative Advantage, and Immigration In Appendix A, we present a detailed solution of the last three stages of our game in the Y sector using the method of backward induction under the assumption of complementarities in production between a worker and a manager, but in the absence of moral hazard. Appendix A The production function exhibits constant returns to scale, as described in the following equation. In the Y sector, the final good is produced as a result of matched efforts of a manager and a worker. We follow the assumption of complementarities in production. A firm with a manager who provides one unit of labor exerting effort (ππ ) and a worker who exerts productive effort (ππ€ ) and unproductive effort (ππ€ ), produces 2√ππ€ ππ units of final good y. π¦(ππ€ , ππ ) = 2√ππ€ ππ (π΄ − 1) In the Y sector, managers exert the amount of effort that maximizes firms’ profit, while workers exert the amount of effort that maximizes their income defined in the performance measure, where the latter is defined as follows π(π, ππ , ππ€ , ππ€ ) ≡ ππ€ + ππ€ π‘π (π΄ − 2) where π‘π denotes the training level obtained by a manager; ππ€ and ππ€ respectively denote the amount of productive and unproductive efforts of a worker w paired with a manager m. The above equation of the performance measure is similar to equation (2) in the main text (the equation of the performance measure in the presence of moral hazard in the case of the X sector), but now π = 1 under the assumption that in this sector the manager has perfect information regarding the training abilities of a worker, and she can perfectly observe or/and verify worker’s efforts. The solution of the sub-game perfect Nash equilibrium of only the last three stages of the game is presented as follows. 1 Stage 4. Production In the simple sector, in the last stage, a manager endowed with tm units of training, who provides am productive efforts, pairs up with a worker endowed with tw units of training, who supplies aw productive and dw unproductive efforts. Manager’s income comes from her firm’s profit (since she is the firm’s 1 1 2 2 owner), which are Π = ππ¦ − π€π, where her homothetic preferences are ππ = π Π − 2π‘ ππ − 2ππ π‘π .A π 1 π 1 2 2) 2 worker’s homothetic preferences are ππ€ = π ππ€ − 2π‘ (ππ€ + ππ€ − 2ππ π‘π€ . Let’s denote with Λ the π€ π€ sum of the worker’s and the manager’s post training utilities, where Λ = 2π π√ππ ππ€ − 1 1 2 2) 2) (ππ (π2 + ππ€ + ππ − 2π‘π 2π‘π€ π€ (π΄ − 3) Both the manager and the worker maximize the above aggregate post-training utilities over their respective productive and unproductive effort levels. The optimal unproductive levels for both the worker and the manager are equal to zero, ππ = ππ€ = 0. This is because the manager is also the owner of the firm and her income generates only from the firm’s profit, and therefore, she has no incentives to provide unproductive efforts. At the same time, the worker has also no incentives to provide unproductive efforts because there is no moral hazard in this section, and therefore, her manager can perfectly observe or/and verify her unproductive and productive efforts. The optimal level of a manager’s and worker’s productive 3 )1⁄4 3 )1⁄4 efforts are ππ = π π(π‘π π‘π€ and ππ€ = π π(π‘π€ π‘π . Therefore, the sum of the worker’s and the manager’s post training utilities with optimal effort levels is Λ = (π π)2 √π‘π π‘π€ (π΄ − 4) Stage 3. Production team choice Both the worker and the manager maximize the above post training utility subject to their respective post∂Λ training levels. Therefore, ∂π‘ = (π π)2 π √π‘ π€ √π‘ π and ∂Λ ∂π‘π€ = (π π)2 √π‘ π . √π‘ π€ From here it should be obvious that both the worker and the manager maximize their post-training utility only when the manager has exactly 2 the same level of training as the worker assuring a positive assortative matching between both parties of the firm. Another way to arrive at the same conclusion is the fact that the post-training firm utility as represented by A-4 is strictly supermodular in worker’s and manager’s training levels. Mathematically, ∂2 Λ ∂π‘π ∂π‘π > 0. The property of supermodularity of the post-training firm utility is based on the assumption of complementarity of production between a worker and a manager of the same firm. In the following analysis of this stage of the game we find the optimal wage of a worker with training level π‘π€ teamed with a manager with training level π‘π . Prior to the establishments of the firms, potential owners announce an optimal wage to maximize the total utility of the production team and potential workers decide to either accept it or reject it. Both partners of the team have perfect information regarding their own and their partner’s training levels. Hence, let us denote with Λm and Λw the respective post-training utilities of the manager and the worker. Their equations are shown as follows Λπ = π Π − 2 ππ 2π‘π Λπ€ = π ππ€ − 2 ππ€ 2π‘π€ (π΄ − 5) The worker (manager) maximizes her post-training utility subject to her productive effort levels, where Π = 2p√am aw − waw and π = waw. Therefore, the worker’s efficient productive efforts are aw = Rwt w. In other words, the worker is willing to accept a wage that satisfies the following w = aw . Rtw We 3 )1⁄4 know from stage 4 that the optimal level of worker’s productive efforts is ππ€ = π π(π‘π€ π‘π . Substituting the latter in the wage equation that the worker is willing to accept, we present the optimal wage for a worker with training π‘π€ teamed with a manager with training π‘π in the following π‘π 1⁄4 w = p( ) π‘π€ (A − 6) In an analogous way, we can show that the optimal wage that the manager will offer is exactly equal to 2 the above equation. In other words, the manager’s efficient productive efforts are am = [(Rp)2 π‘π aw ]1⁄3. 3 From the above paragraph, we know that the worker’s efficient productive efforts are aw = Rpwt w. Substituting the latter into the former, we find that the manager’s efficient productive efforts are am = 2 Rp(π‘π π€t w )1⁄3 , but we know from stage 4 that the optimal level of manager’s productive efforts is ππ = 3 )1⁄4 π π(π‘π π‘π€ . Hence, it follows that the manger should offer an optimal wage represented by w = 1⁄4 π‘ p ( π‘π) π€ in order to maximize her post-utility training level. Stage 2. Training We showed in the previous subsection that due to the assumption of complementarities in production, there exists a positive assortative matching process between a manger and a worker who work together in the production process of the same firm, such that each manager has equal training with her worker (π‘π = π‘π€ = π‘). In this game a symmetric equilibrium assures that two individuals that work in the same firm (team) must be indifferent between being the manager and the worker of the firm. From the manager’s optimal effort level from stage 5, the optimal wage of A-6, and the fact that in this setup as shown in stage 4, π‘π = π‘π€ = π‘, we obtain the following manager’s indirect utility with optimal effort levels who teams up with a worker of the same training levels: Vπ (π‘, ππ ) = (π π)2 π‘ 2 − π‘2 . 2πππ In an analogous way, we find the following worker’s indirect utility with optimal effort levels who teams up with a manager of the same training levels: Vπ€ (π‘, ππ€ ) = (π π)2 π‘ 2 π‘2 − 2ππ . Hence, in a symmetric π€ equilibrium, both individuals who are working in the same team and have the exact training levels must be indifferent between being a manager or a worker in the same firm. This implies that Vπ¦ (π‘, ππ¦ ) = Vπ€ Vπ (π‘, ππ ) = Vπ€ (π‘, ππ€ ), but this inequality is true only when ππ€ = ππ = π. In other words, we can write the indirect utility of an individual working in the Y sector with optimal effort levels and after the matching process, where a manager and a worker of the same firm have identical training levels as Vπ¦ = (π π)2 π‘ π‘2 − 2 2πππ¦ (π΄ − 7) 4 Maximizing Vπ (π‘, ππ ) subject to the manager’s training levels, we find the manager’s optimal training levels π‘π = 12πππ(π π)2 . Analogously, worker’s optimal training levels are π‘π€ = 12πππ€ (π π)2. Since π‘π = π‘π€ = π‘, the optimal level of training of an individual working in the Y sector is 1 π‘ = (π π)2 πππ¦ 2 (π΄ − 8) Therefore, the indirect utility of an individual working in the simple sector with optimal training level is 1 ππ¦ = 8 (π π)4 πππ¦ (π΄ − 9) Note that the above equation is exactly the same as equation (6) in the main text. From this point, following the same analysis as in the main text, it should be obvious to the reader that all the results of the paper remained unchanged. In other words, the assumption of having just one individual working as a self-employed in the Y sector is introduced only for simplicity in order to avoid additional notation in the paper. 5 In Appendix B, we present a detailed solution of the last three stages of the game in the complex sector using the method of backward induction. Appendix B Stage 4. Production In the complex sector, in the last stage, a manager endowed with tm units of training, who provides am productive efforts, pairs up with a worker endowed with tw units of training, who supplies aw productive and dw unproductive efforts. Manager’s income comes from her firm’s profit (since she is the firm’s owner) which are Π = π₯ − π€πΎ, where her homothetic preferences are ππ = π Π − 1 1 π2 2π‘π π − 1 π‘2 . 2πππ π A 1 2 2) 2 worker’s homothetic preferences are ππ€ = π πΎπ€ − 2π‘ (ππ€ + ππ€ − 2ππ π‘π€ . Let’s denote with Λ the π€ π€ sum of the worker’s and the manager’s post training utilities, where Λ = 2π √ππ ππ€ − 1 1 2 2) 2) (ππ (π2 + ππ€ + ππ − 2π‘π 2π‘π€ π€ (π΅ − 1) Both the manager and the worker maximize the above aggregate post-training utilities over their respective productive and unproductive effort levels. The optimal unproductive levels for the manager are equal to zero, ππ = 0. This is because the manager is also the owner of the firm and her income generates only from the firm’s profit, and therefore, she has no incentives to provide unproductive efforts. However, the worker has incentives to provide unproductive efforts because there is moral hazard in the complex sector and her objective is to maximize her wage. But the manager cannot perfectly observe or/and verify worker’s productivity in terms of worker’s effort despite the fact that the manager can perfectly observe worker’s training levels as represented by equation (4) in the main text. The optimal level of a worker’s unproductive efforts are ππ€ = π π€π‘π€ π 1−π −1 . π‘π Thus, workers in the complex sector provide less unproductive efforts when their country has more developed institutions. The optimal level of a 2 )1⁄3 manager’s and a worker’s productive efforts are ππ = π (π‘π€ π‘π and ππ€ = π π€π‘π€ . 6 Stage 3. Production team choice Prior to the establishments of the firms, potential owners announce an optimal wage to maximize the total utility of the production team and potential workers decide to either accept it or reject it. Both partners of the team have perfect information regarding their own and partner’s training levels as represented by equation (4) in the main text. Substituting the optimal productive and unproductive efforts that we found in the above stage 4 into B-1, we obtain the total post-training utility derived from matching a manager with training π‘π with a worker with training π‘π€ under optimal efforts from the worker and the manager Λ= 1 R2 w2tw (3 {[(wt w )2 t m ]3 } − { }) 2 Ψ where Ψ ≡ [ 2 π‘π 2 2 +(π 1−π −1) π‘π (π΅ − 2) ] shows the quality of the monitoring ability of a manager with training tm and national institutional development level π, where lim Ψ(θ) = 1. π→1 πΛ Maximizing B-2 over the wage (in other words, setting ππ€ = 0), we find the optimal wage 1 π‘π 4 3 π€ = ( ) Ψ4 π‘π€ (π΅ − 3) It should be obvious from B-3 that the optimal wage is higher in more developed national institutions, or/and the manager’s training levels. Substituting the optimal wage of B-3 into B-2, we can write Λ as Λ= 1 1 R2 (π‘π π‘π€ Ψ)2 (3 − Ψ 4 ) 2 (π΅ − 4) The total post-training firm utility as represented by B-4 is strictly supermodular in worker’s and manager’s training levels. Mathematically, ∂2 Λ ∂π‘π ∂π‘π > 0. 1 This property of the post-training firm utility is not dependent on the existence of moral hazard in this section, but it is based on the assumption of complementarity of production between a worker and a manager of the same firm. In Appendix A, we arrived at the same conclusion under complementarity in production, but in the absence of moral hazard. 1 For more on the properties of strictly supermodular functions and the complementarities on production see: Costinot A. (2009) “An Elementary Theory of Comparative Advantage”, Econometrica, 77 (4), pp. 1165-1192. 7 Hence, in equilibrium, the fact that ∂2 Λ ∂π‘π ∂π‘π > 0 indicates that the manager and the worker must have the same level of training, π‘π = π‘π€ = π‘. Therefore, we can now describe the optimal wage after matching as 3 π€ = Ψ4 (π΅ − 5) Let denote with Vm and Vw the respective indirect utilities of the manager and the worker before their matching and their choice of efforts. Their equations are shown as follows Vπ = π Π − 2 2 ππ π‘π − 2π‘π 2πππ ππ€ = π πΎπ€ − 2 2) 2 (ππ€ + ππ€ π‘π€ − 2π‘π€ 2πππ€ (π΅ − 6) Substituting the optimal effort levels that we found in stage 4, for the manager and the worker, we obtain their indirect utility with their optimal productive and unproductive efforts after the matching process 2 3 π π‘π€ 2 π‘2 ππ = π 2 π‘π€ 3 − − 2 Ψ 2πππ (π΅ − 7) π€ Ψ π‘2 ππ€ = π 2 π‘ ( 1 − ) − 2 2πππ€ Ψ3 (π΅ − 8) Using the optimal wage of B-5, we can write the above equations as following 1 1 π‘2 ππ = R2 Ψ 2 π‘ − 2 2πππ (π΅ − 9) 1 1 π‘2 ππ€ = R2 Ψ 2 π‘ − 2 2πππ€ (π΅ − 10) Thus, in a symmetric equilibrium if two individuals with the same training create a team, each of them should be indifferent between being a worker or the manager (owner) of the team. Combining B-9 with B-10 implies that ππ₯ = ππ = ππ€ ⇒ ππ = ππ€ = π. Hence, the indirect utility of an individual working in the complex sector after the matching process is 1 1 π‘2 ππ₯ = R2 Ψ 2 π‘ − 2 2ππ (π΅ − 11) 8 Stage 2. Training In this stage, in order to find the optimal training levels, we maximize ππ₯ from B-11 over the training level. Hence, setting πππ₯ ππ‘ = 0, we obtain the optimal training level of an individual who works in the complex sector 2 π‘π₯∗ = 2 π 2 Ψ1⁄2 π 2(π 1−π −1) +π‘π₯∗ ( ∗ 2 1−π 2 2 π‘π₯ +(π −1) ) ππ₯ (π΅ − 12) This is equation (14) in the main text. Substituting π‘π₯∗ from B-12 into B-11, we find the indirect utility of an individual with optimal trainings who works in the complex sector 1 ππ₯ = π 2 πΉ 3⁄2 π‘π₯∗ 4 (B − 13) This is equation (15) in the main text. 9 In Appendix C, we present the proofs of all propositions and corollaries. Appendix C Proof of Proposition 1: We follow 2 steps. In the 1st step, we show that if a π ∗ ∈ [ππππ , π] exists, when ππ₯ (π∗ ) = ππ¦ (π ∗ ), then this π ∗ is unique. In the 2nd step, we prove the existence of π ∗. Let's start with Step 1. Let’s assume that π exists. Using (14) and (6), when ππ₯ (π∗ ) = ππ¦ (π∗ ), there exists a π ∗, such that for any 2 2(π 1−π −1) +π‘π₯∗ π > π ∗, ππ₯ (π∗ ) ≥ ππ¦ (π ∗ ), this π ∗ is unique. ππ₯ (π∗ ) ≥ ππ¦ (π ∗ ) only if Ψ (√ 2 2(π 1−π −1) +π‘π₯∗ Let πΏ ≡ Ψ (√ 2 2 2 π‘π₯∗ +(π 1−π −1) ) πππ π· ≡ π. Then, ππΏ ππ > 0 πππ ππ· ππ 2 2 2 π‘π₯∗ +(π 1−π −1) ) ≥ π (πΆ − 1) = 0. Therefore, the left hand side of C- 1 is increasing in the natural ability levels, while the right hand side of A-1 is constant. Thus, π ∗ is unique. We start the second step with the proof of π ≤ πΎπππ₯ . Suppose that the opposite is true. Therefore, π ∗ > ππππ₯ . In terms of C-1, this implies that ππ₯ (ππππ₯ ) > ππ¦ (ππππ₯ ) ∀ π ∗ ∈ [ππππ , ππππ₯ ]. Hence, no individual will be employed in the complex sector, which indicates that the relative price of the simple good approaches zero (π → 0). This implies that π ∗ < ππππ₯ . But, this contradicts our assumption that π ∗ > ππππ₯ . Hence, π ∗ ≤ ππππ₯ . In an analogous way, one can show that π ∗ > ππππ . Proof of Corollary 1. To prove all parts of corollary 1, we must find an expression for π ∗. ππ₯ (π) = ππ¦ (π ∗ ) implies that 3 2Ψ 2 (π∗ )π‘π₯∗ (π∗ ) π = ππ 2 π4 ∗ From (C-2) and (14) it is easy to verify that (πΆ − 2) ππ∗ ππ < 0, ππ∗ ππ <0 ∀π ∈ [0,1). Proof of Proposition 2. We prove part 1 & 2 of proposition 2 using 2 lemmas. Then, part 3 of proposition 2 follows. Lemma 1. ∀π ∈ [0,1)∃ π(π) where π‘π₯ is convex in π if and only if π > π(π). Lemma 2. 1) ∃ π0 ∈ [ππππ , ππππ₯ ], such that π‘π₯ (π0 ) = π‘π¦ (π0 ) and 2) π0 < π ∗ ∀π ∈ [0,1) 10 Proof of Lemma 1. 1 Dividing both sides of (14) with π‘π₯ , we get theorem, ππ‘π₯∗ ππ ππ ⁄ππ = − ππ ⁄ππ‘ ∗ π₯ ; hence, ππ‘π₯∗ ππ π(π‘π₯∗ , π) ≡1= 2 2 π 2 Ψ2 π 2(π 1−π −1) +π‘π₯∗ ( ∗ 2 1−π 2 2π‘π₯∗ π‘π₯ +(π −1) ) ππ₯ . From the implicit > 0. Thus, the optimal training levels of an individual working in the complex sector is increasing in her natural ability level ∀π ∈ [0,1). ππ ⁄ππ Let π(π‘π₯∗ , π) ≡ π΄ = − ππ ⁄ππ‘ ∗ π₯ and π2 π‘π₯∗ ππ2 where π΄ is a constant. Thus, < 0 if π‘π₯∗ < π(π), where; lim π(π) = 0 ; π→0 ππ(π) ππ π2 π‘π₯∗ ππ2 ππ ⁄ππ = − ππ ⁄ππ‘ ∗ π₯ ; and π2 π‘π₯∗ ππ2 > 0 if π‘π₯∗ > π(π), < 0. In order to complete the proof of lemma 1, we have to show the existence of π(π). This is done by substituting π(π) into (14) and combining it with (15). Thus, ππ₯ [π(π)] exists and is strictly higher than zero. Since, we know that the indirect utility with optimal training levels is strictly convex in individuals’ ability level, and lim [π(π)] = 0 πππππ¦ π→0 0; ππ‘π₯∗ ππ > 0; π2 π‘π₯∗ ππ2 > 0 only if π > π(π), while π2 π‘π₯∗ ππ2 ππ(π) ππ < < 0 only if π < π(π), then π‘π₯∗ is strictly convex in π ∀ π > π(π) and π‘π₯∗ is strictly concave in π ∀ π < π(π). Proof of Lemma 2 Assume that the first part of Lemma 2 is true. Then, ∃ π0 ∈ [ππππ , ππππ₯ ], such that π‘π₯ (π0 ) = π‘π¦ (π0 ). From (14) we know the optimal training level of an individual working in the complex sector. We also 1 2 know that the optimal training level of an individual working in the simple sector is π‘π¦ = π 2 πππ¦ . Hence, from setting π‘π₯ = π‘π¦ , we can find π0 . With the help of (C-2), we find that π0 < π ∗ . This concludes the proof of the second part of Lemma 2. The proof of the first part of Lemma 2 consists of two steps. In the first step, we prove the uniqueness of πΎ0 , and in the second step we proof the existence of π0 . Let us start with step 1. If there exists a π0 ∈ [ππππ , ππππ₯ ], such that π‘π₯ (π0 ) = π‘π¦ (π0 ), then π‘0 is unique. The inequality π‘π₯ (π0 ) ≥ π‘π¦ (π0 ) is true since ππ‘π₯ (π0 ) ππ > 0, which is the training level first-order condition of utility optimization of 11 individuals working in the complex sector, and ππ‘π¦ (π0 ) ππ = 0, which is the optimal ability level of an individual working in the simple sector. To prove the existence of π0 , we assume that π ∗ < ππππ . From the proof of Lemma 2, it is straightforward that π‘π₯ (ππππ ) > π‘π¦ (ππππ ) ∀ π‘0 ∈ [ππππ , ππππ₯ ]. Hence, no individual will invest to optimize her abilities in the y sector, meaning that no individual will be employed in the x sector. Mathematically, this means that the relative price of the simple sector goes to infinity (π → ∞). But, this contradicts our assumption that π0 < ππππ . Analogously, one can show that π0 < ππππ₯ . Proof of the first and the second part of Proposition 2 Now, we can prove part 1 & 2 of Proposition 2. π‘π₯ is concave in π only when π < π(π). From (17) 1 2 2 π 2 Ψ2 π 2(π 1−π −1) +π‘ ∗ lim { 2 ( ∗ 2 1−π π₯2 π‘π₯ →0 π‘π₯ +(π −1) ) ππ₯ } = 0. In the region where π‘π₯ is strictly concave in π, π‘π₯ never intersects π‘π¦ . In Lemma 2, we showed the existence of π0 such that π‘π₯ (π0 ) = π‘π¦ (π). Thus, π‘π₯ must be convex in π at π0 . Moreover, we demostrated that π‘π₯ is convex in π ∀π > π0 . Since, π‘π¦ is concave in π ∀π > 0, then π‘π₯ > π‘π¦ ∀π > π0 . We showed in the proof of the second part of Lemma 2 that π0 < π ∗. This implies that ππ₯ is convex in π ∀π > π ∗ and π‘π₯ > π‘π¦ ∀π > π ∗. Proof of Proposition 3. We have to prove that πΌπ₯ (π) ≥ πΌπ¦ (π) ∀π > π ∗. Let’s first find πΌπ¦ (π) πππ πΌπ₯ (π). In the x sector we assumed that each firm consists of one individual. Thus, the income of each individual is equal to her firm’s profit πΌπ¦ (π) = ππ. In the fourth stage, we found the optimal profits for a firm operating in the simple sector. Substituting the optimal effort levels as indicated in the fifth stage into πΌπ¦ (π), we can obtain πΌπ¦ (π‘) = π2 π π‘. In the second stage we found the optimal training levels of an individual working in 1 the simple sector. Substituting it into πΌπ¦ (π‘), we obtain πΌπ¦ (π) = 2 π4 π 3 ππ. In the first stage we found the optimal skill level for an individual working in the simple sector. Substituting it into πΌπ¦ (π), we can obtain 1 the income of an individual working in the simple sector: πΌπ¦ (π) = 16 π8 π 7 π2 12 (πΆ − 5) π 1−π −1 ) ππ€ ]. π‘π In the complex sector, the worker income is πΌπ€ (π) = π€πΎ = π€ [ππ€ + ( In the fourth stage, we found the optimal effort and distortion levels exerted from a worker employed in the complex sector. Substituting the optimal effort and distortion levels as indicated in the fourth stage into πΌπ€ (π), we obtain πΌπ€ (π‘) = π€ 2 π π‘π€ . Ψ In the third stage, we showed that the most skilled managers match with the most skilled workers. Hence, π‘ = π‘π€ = π‘π , and moreover an individual working in the X sector is indifferent on being 3 a worker or a manager. In addition, we found that the optimal wage after the matching process is π€ = Ψ 4 Thus, πΌπ₯ (π‘) = πΌπ€ (π‘) = πΌπ (π‘) = π Ψ 1⁄2 π‘. In the second stage, we determined the optimal training level of an individual working in the complex sector. Substituting it into πΌπ₯ (π‘) we get 2 5 1 2(π 1−π − 1) + π‘π₯∗ 2 πΌπ₯ (π) = π 2 Ψ2 π ( ∗ 2 ) ππ₯ 2 π‘π₯ + (π 1−π − 1)2 (πΆ − 6) Thus, using C-5 and C-6, where in C-5, we substitute ππ¦ with π ∗ and in C-6 we substitute ππ₯ with π ∗, the inequality πΌπ₯ (π) ≥ πΌπ¦ (π) stands for all π > π ∗ because we show that πΌπ₯ (π) ≥ πΌπ¦ (π) ∀π is equivalent to 2 1 > Ψ(π ∗ ), which is true since (π 1−π − 1) > 0. Proof of Proposition 4. The proof of uniqueness and existence of (π ∗ )π is exactly the same as the proof of uniqueness and existence of π ∗ in a closed economy of Proposition 1 (see the 1st and 2nd step of the proof of prop. 1). The proof of the first part of Proposition 4 is simple. (π ∗ )π» < (π ∗ )π since ππ∗ ππ‘ < 0 and ππ∗ ππ < 0 regardless of the country index (see equation C-2 in the proof of corollary 1). But π π» > π π by assumption. This implies that π‘ π» > π‘ π ∀π > (π ∗ )π» . The argument for the existence of the latter inequality comes directly from the first and second part of Proposition 2. Proof of Proposition 5. The proof of uniqueness and existence of (π ∗ )π , is analogous to π ∗. 13 Proof of the first part of Proposition 5. (π ∗ )π» < (π ∗ )π since ππ∗ ππ < 0 regardless of the country index. But we assumed that π π» > π π . Hence, (π ∗ )π» < (π ∗ )π . Proof of the second part of Proposition 5. We start with the proof of the inequality (π ∗ )π ≥ ππππ . Assume that (π ∗ )π < ππππ . We know that (π ∗ )π» < (π ∗ )π . Thus, (π ∗ )π < ππππ & (π ∗ )π» < (π ∗ )π . But, if both (π ∗ )π» and (π ∗ )π are strictly lower than ππππ , then no one enters into the simple sector, implying that the relative price of the simple good (π) goes to infinity. Therefore, (π ∗ )π» and (π ∗ )π must be strictly higher than ππππ . But we assumed that (π ∗ )π < ππππ . Consequently, (π ∗ )π ≥ ππππ . Analogously (π ∗ )π» ≤ ππππ₯ . Proof of Corollary 2. The proofs of all inequalities of Corollary 2 are analogous with the proofs of Propositions 2 and 3. Proof of Proposition 6. The proof of part 1 and 2 of Proposition 6 is analogous to that of Proposition 5, and the proof of part 3 of Proposition 6 are analogous with those of Propositions 2 and 3. The proof of part 4 of Proposition 6: We drop the superscript (j) when necessary for notation simplicity. We first prove that π ∗ exists. Then, we show that also ∃ πΜ such that πΌπ₯ (πΜ)π» > [πΌπ₯ (πΜ)π + π] ∀π > πΜ. The proof of the existence of π∗: 3 We know from Proposition 1 that ππ₯ (π) ≥ ππ¦ (π) only if: 2Ψ2 (q∗ )t∗x (q∗ ) R2 bq∗ ≥π4 (πΆ − 7) The left hand side of (C-7) is increasing in π and approaches zero when π approaches zero, while the right hand side of (C-7) is constant. Let’s suppose that π ∗ does not exist. Thus, the right hand side of (C-7) must be strictly higher than one. Hence, no one enters into the complex sector in each country, meaning that the relative price of the simple good approaches zero. Thus, the right hand side of (C-7) is strictly less than one. This contradicts our assumption that π > 1. Thus, π ∗ must exist. From Proposition 3, we know that πΌπ₯ (π)π» ≥ πΌπ₯ (π)π ∀π > (π ∗ )π ; since π ∗ exists, then πΜ must also exist for π < (π ∗ )π − (π ∗ )π» . Since 14 ππ₯ (π)π is positive, then there must exist a πΜ such that for any positive value of π, ππ₯ (πΜ)π» = [ππ₯ (πΜ)π + π] , where πΜ > π ∗. Thus, ππ₯ (π)π» > [ππ₯ (π)π + π] ∀π > πΜ. Hence, ∃ πΜ such that πΌπ₯ (π)π» > [πΌπ₯ (π)π + π] ∀π > πΜ and πΌπ₯ (π) ≥ πΌπ¦ (π) ∀π > πΜ. Thus, the individuals who obtain the highest level of income are those who work in the complex industry in H. Thus, the flow of international labor migration will be from O to H. Proof of Proposition 7. Proof of part 1) of Proposition 7: From Proposition 6, πΌπ₯ (π)π» > [πΌπ₯ (π)π + π] ∀π > πΜ since π π» > π π . Hence, only those individuals of O with π > πΜ will immigrate in H. No one who works in the y sector has incentives to immigrate in H since π πΌπ¦ (π)π» = πΌπ¦ (π)π ∀ π > 0, because π(πΌπ¦ ) πππ = 0. Thus, only individuals who work in the complex sector π could emigrate in H because π(πΌπ¦ ) πππ > 0. However, not all individuals of O that work in the complex sector will emigrate to H. There would be some of them whose income difference because of immigration is lower than the fixed costs of immigration. These individuals will work in the complex sector in O. The natural ability levels of such individuals are π ∗ < π π < πΜ. Thus, all individuals with π > πΜ will emigrate in H. The highest ability individuals of O will choose to emigrate in H because ππ ππ‘π₯ > 0 ∀π > π ∗ and moreover ∀ π > πΜ. Proof of part 2) of Proposition 7: We know from part 3) of Proposition 6 that (π ∗ )π» < (π ∗ )π . Therefore, π ∗ < (π ∗ )π . This implies that πΌπ₯ (π)π» > πΌπ₯ (π)π ∀π > π ∗. Also using part 4) of Proposition 6, we know that π ∗ < πΜ and we also know that πΌπ₯ (π)π» > [πΌπ₯ (π)π + π] ∀π > πΜ. But, when c approaches zero then πΌπ₯ (π)π» > πΌπ₯ (π)π ∀π > π ∗, which is true for all π > (π ∗ )π . Consequently, there must exist a threshold level of πΜ that satisfies the following πΌπ₯ (π)π» − [πΌπ₯ (π)π + πΜ ] = 0 such that all individuals of O with π > πΜ find it beneficial to immigrate in H. 15 Proof of Corollary 3. We know that if π π» < π π and π π» > π π , it is quite possible that ππ» = ππ in autarky. Thus, both countries will not engage in international trade with each other at all. However, if both countries enter a common labor market area, then according to Proposition 7, for sufficiently low fixed immigration costs (πΜ ), the following inequality holds πΌπ₯ (π)π» > [πΌπ₯ (π)π + πΜ ] ∀π > πΜ . Therefore, there would exist emigration only from O to H, implying that the relative price of the simple good increases because of the increase in the world supply of the complex good due to emigration of individuals of O, with (π ∗ )π» < π < (π ∗ )π , toward H. Thus, immigration changes the relative world price of the simple good (ππ < ππ» ). Therefore, after immigration, H will have a comparative advantage in the complex good, while O will have a comparative advantage in the simple good. In other words, immigration creates trade. 16