Table:
text: 2011 British GT season
Calendar
Calendar
Round Circuit Date_ Length_ Pole_Position GT3_Winner GT4_Winner
9 Donington Park 25 September 180 mins David Ashburn Stephen Jelley Charles Bateman Michael Lyons Phil Glew James Nash
10 Silverstone Arena 8 October 120 mins No. 7 Beechdean Motorsport No. 7 Beechdean Motorsport No. 48 Lotus Sport UK

text: 2011 British GT season
Calendar
Calendar
Round Circuit Date_ Length_ Pole_Position GT3_Winner GT4_Winner
1 Oulton Park 25 April 60 mins No. 5 Scuderia Vittoria No. 1 Trackspeed No. 44 ABG Motorsport
1 Oulton Park 25 April 60 mins Charles Bateman Michael Lyons David Ashburn Richard Westbrook Peter Belshaw Marcus Clutton
2 Oulton Park 25 April 60 mins No. 1 Trackspeed No. 5 Scuderia Vittoria No. 42 Century Motorsport
2 Oulton Park 25 April 60 mins David Ashburn Richard Westbrook Charles Bateman Michael Lyons Jake Rattenbury Josh Wakefield
3 Snetterton 300 15 May 120 mins No. 10 CRS Racing No. 23 United Autosports No. 44 ABG Motorsport

text: 2011 British GT season
Calendar
Calendar
Round Circuit Date_ Length_ Pole_Position GT3_Winner GT4_Winner
6 Spa-Francorchamps 9 July 60 mins David Ashburn Richard Westbrook Duncan Cameron Matt Griffin Phil Glew Ollie Jackson
7 Rockingham 4 September 60 mins No. 23 United Autosports No. 7 Beechdean Motorsport No. 50 Scuderia Vittoria
7 Rockingham 4 September 60 mins Matt Bell Michael Guasch Jonathan Adam Andrew Howard Dan Denis David McDonald
8 Rockingham 4 September 60 mins No. 2 Trackspeed No. 11 CRS Racing No. 50 Scuderia Vittoria
8 Rockingham 4 September 60 mins Tim Bridgman Gregor Fisken Alex Mortimer Andrew Tate Dan Denis David McDonald
9 Donington Park 25 September 180 mins No. 1 Trackspeed No. 5 Scuderia Vittoria No. 48 Lotus Sport UK

Question: If Charles Bateman, Michael Lyons is the GT3 winner and Donington Park is the circuit, who is the GT4 winner of the 2011 British GT season?

Question: If Charles Bateman Michael Lyons is the GT3 winner and lap 9 of the 2011 British GT season is then who is the GT4 winner?