レッスン8 — proptest invariant 3 個: 768 ランダムシナリオ