Yes, you can have the ams stuff without using the amsart class. Just use the relevant packages. \usepackage{amsmath} but also amsthm - defines the proof environment and amstext, amssymb... LS