もうATHに戻る時です
$PROVE #Succincnt @Succinct