An element of prod_v K_v is a finite adele iff its image in prod_w L_w is a finite adele

An element of prod_v K_v is a finite adele iff its image in prod_w L_w is a finite adele #215