maximal ideal theorem