Source: https://www.iith.ac.in/~subruk/4510/reductions.pdf