added theorem ab and counter