compact proof