Cleanup FLT-Catalan

[jcpaik]

• Derive (b,c)=(c,a)=1 from (a,b)=1
• Get rid of units of k[X] as they are more or less nonzero element of k