Need a logical proof of [(c>0) and (|a|<c)] implies [(-c<a) and (a<c)]

45 Views Asked by At

I need a logical proof of the elementary statement about real numbers using order and field axioms

$((c>0)\wedge(|a|<c))\Rightarrow((-c<a)\wedge(a<c))$