加法交换律的验算怎么写?是列横式,还是列竖式?