ABC implies Bang-Zsigmondy results In arithmetic dynamics