using align rather than eqnarray for proofs and definitions