switch to ntheorem package for better placement of QED symbol
wibbles