Amao's Theorem and Reduction Criteria