Svagt matchande rim för självklar sats