theorem :: GOBRD13:2

canceled;