  In this short article, two recent beautiful proofs of George Andrews, Aviezri
Fraenkel, and James Sellers, about the mod m characterization of the number of
m-ary partitions are simplified and streamlined, and then generalized to handle
many more cases, and prove much deeper theorems, with the help of computers, of
course.
