Simple facts
simple proofs of collaboration

solution