n <> 2 by EC_PF_2:def 1;
hence not Triangle n is prime by Th46; :: thesis: verum