theorem :: GRAPH_1:25

for G1 being Graph
for G being oriented Graph st G1 c= G holds
G1 is oriented