I will leave the results with proof here