General Ring Theory/Prime ideals