Főideálgyűrű fölötti modulusok alaptétele