A COMPREHENSIVE PROOF OF THE GREENBERGER-HORNE-ZEILINGER THEOREM FOR THE FOUR-QUBIT SYSTEM