MDLUL/Irreduzibilität (Polynom)