3 is Proth by Lm6;