Prove You Can Win: 20250403 fix

Fix the bug: Rule 2.1 is wrongly showed in the tutorial when proving proposition 2.1.