משפט קרול-רמק-שמידט