Ascending chain condition for principal ideals