Tudsz nekem mondani olyan tételt, amit paraméteres Replacement-el bizonyítanak és paraméter nélkülivel valószínűleg nem lehet belátni?