new procedure ...mul_vec_mat_modulo()
check salvation modulo p**k