Great quality. First direct experience: misunderst...

Great quality. First direct experience: misunderstanding over size, turned out to be my fault. Pay attention to the proofs provided.