public bool IsSuccessfull() { if (RightHand.Equals(LeftHand)) { return(true); } return(ObeysExtensionTheorem()); }