Maximal antichains in finite partially ordered sets 1