Theorem: fairlyEasy (Fpil/Chap10/Sec03.lean)

State before:
⊢ EasyToProve
Tactic:
constructor
State after:
no goals