added macro \AC; added result about \AC being the solution to problem 1