0.0
Picaru's theorem (2010)