P4菱形定義