change status of [101-002] to theorem

[fabianneuhaus]

The following is a theorem (and not an axiom)

All occurrent_parts of temporal regions are temporal regions. [101-002]")

[phismith]

good