Hoehn's Theorem

Hoehn:=proc() local V1,V2,V3,V4,V5,W1,W2,W3,W4,W5:

W1:=Pt(Le(V1,V3)   ,   Le(V2,V5)):   W2:=Pt(Le(V1,V3)   ,   Le(V2,V4)):
W3:=Pt(Le(V3,V5)   ,   Le(V2,V4)):   W4:=Pt(Le(V1,V4)   ,   Le(V3,V5)):
W5:=Pt(Le(V1,V4)   ,   Le(V2,V5)):

ItIsZero(
DeSq(V1,W1)*DeSq(V2,W2)*DeSq(V3,W3)*DeSq(V4,W4)*DeSq(V5,W5)   -
DeSq(V1,W5)*DeSq(V2,W1)*DeSq(V3,W2)*DeSq(V4,W3)*DeSq(V5,W4)
             ):

end: