3辺の長さが素数かつ互いに異なるa,b,cで構成され、最大角が120°の三角形は存在するか?