∠EDC=180°-∠CED-∠C
=180°-∠ADE-∠DAE-∠C
=180°-(180°-∠DAE)/2 - ∠DAE-∠C
=90°-∠DAE/2 - ∠C
=90°-(180°-2∠C-30°)/2 - ∠C
=∠C+15° - ∠C
=15°
∠EDC=180°-∠CED-∠C
=180°-∠ADE-∠DAE-∠C
=180°-(180°-∠DAE)/2 - ∠DAE-∠C
=90°-∠DAE/2 - ∠C
=90°-(180°-2∠C-30°)/2 - ∠C
=∠C+15° - ∠C
=15°