Added a theroem aliceMayPrintTheReportGivenAgreeCan and proved it.