BGEAttack; proposition1, 3.3 up to prop.2 (L matrix, char. poly., beta)