RMDSz: 4 tétel