I think I watched a good video from Numberphile and/or Matt Parker on this but I can't seem to find it now. IIRC it was used as an alternative proof for Fermat's last theorem.

This explains the 6n situation pretty concisely though:

https://reflectivemaths.wordpress.com/2011/07/22/proof-prime...