proposition: Lemma scycle_fproj : scycle -> {in p, fproj =1 id}.
proof: Proof. by move/scycle_simple/simple_fproj. Qed.
imports: mathcomp(ssreflect ssrfun ssrbool eqtype ssrnat seq choice) mathcomp(fintype path fingraph) fourcolor(hypermap jordan)