EC Mirela proofs

February 29th, 2020