0914rosno40700914rosno4070
proofs