If they are already proved, they don't need to be proved further per (1).
If they are not already proved, then they are just assumptions and we are talking about (2).
If they are already proved, they don't need to be proved further per (1).
If they are not already proved, then they are just assumptions and we are talking about (2).