Tagged: principal ideal domain