A Common Fixed Point Theorem for Expansive Mappings under Strict Implicit Conditions on b-Metric Spaces