Write a proof for the biconditional using the inverse and contrapositive.
x ≥ 4 if and only if 3x ≥ 12.