The finite generation of the monoid of effective divisor classes on Platonic rational surfaces