ABC

QED