Proof of LR rule on tableau !