\documentclass changed

\documentclass changed from amsart to article.