Picaru's theorem | ALEFAST