I wouldn’t call it extremely complicated; it is much simpler than the proof of FLT.