For formula _ 117 to be a partition , no bit string `` n '' may belong to two theories . To assume this prove they can and derive a contradiction ,
For formula _ 117 to be a partition , no bit string `` n '' may belong to two theories . To prove this assume they can and derive a contradiction ,