ISF theorem?


POKERSTARS GAME #14638439109: HOLD'EM NO LIMIT ($3/$6) - 2008/01/18 - 02:30:11 (ET)
Table 'Oriola' 6-max Seat #6 is the button
Seat 1: petey989 ($531.35 in chips)
Seat 2: krmont22 ($600 in chips)
Seat 3: Kanoa_Style ($598.05 in chips)
Seat 4: Sauce123 ($785.65 in chips)
Seat 5: Blazed187 ($600 in chips)
Seat 6: smnrgg81 ($1250.70 in chips)
petey989: posts small blind $3
krmont22: posts big blind $6
*** HOLE CARDS ***
Dealt to Sauce123 [8s 9s]
Kanoa_Style: folds
Sauce123: raises $12 to $18
Blazed187: raises $60 to $78
smnrgg81: folds
petey989: calls $75
krmont22: folds
Sauce123: calls $60
*** FLOP *** [As 3c Kd]
petey989: checks
Sauce123: checks
Blazed187: checks
*** TURN *** [As 3c Kd] [6c]
petey989: checks
Sauce123: checks
Blazed187: checks
*** RIVER *** [As 3c Kd 6c] [Ah]
petey989: checks
Sauce123: bets $707.65 and is all-in
Blazed187: folds
petey989: folds
Sauce123 collected $237 from pot
Sauce123: shows [8s 9s] (a pair of Aces)