1901 (2), both choice Proofs (2)

Details
1901 (2), both choice Proofs (2)