Substrate

#abc-conjecture #david-roberts