(* on_parallel_d *)

(* Specifications: *)
Lemma test_py_on_parallel_d_1  : forall I B C D X Y r,
on_parallel_d I B C D r -> Py X Y I = Py X Y I.
Lemma test_py_on_parallel_d_2  : forall I B C D X Y r,
on_parallel_d I B C D r -> Py I Y X = Py I Y X.
Lemma test_py_on_parallel_d_3  : forall I B C D X Y r,
on_parallel_d I B C D r -> Py X I Y = Py X I Y.
Lemma test_py_on_parallel_d_4  : forall I B C D X r,
on_parallel_d I B C D r -> Py X I X = Py X I X.