MIa-1MIa-2MIa-3MIa-4MIa-5MIa-6MIa-7MIa-8MIa-9MIa-10MIa-11MIa-12MIa-14MIa_Proof-1MIa_Proof-2MIa_Proof-3MIa_Proof-4MIa_Proof-5MIa_Proof-6MIa_Proof-7