Inverse property loop implies all nuclei coincide

Statement
In an fact about::inverse property loop, the fact about::left nucleus, fact about::middle nucleus, and fact about::right nucleus are all equal, and hence all of the mare equal to the fact about::nucleus. In other words, an element in an inverse property loop is left-associative if and only if it is middle-associative, if and only if it is right-associative.