Verify that the area of the triangle A2B2C2 is one-seventh the area of the regular triangle ABC