7 × = seven