Jan Karol - The gbul theorem