
$p\nmid a'$
